Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·20h
⚔️Lean Theorem
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
The Machine Learning Roadmap
🎵Audio ML
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Footnotes to a long month: Books of the year?
logicmatters.net·9h
⭐Awesome lists
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
Where "Simulation" Came From
🔤Type Theory
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
Pretty Charts Are Lying to You
hackernoon.com·12h
⚙️Proof Engineering
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·23h
📚Lempel-Ziv
Flag this post
Loading...Loading more...